[<A>]
do ()
